- assertion checker
- верификатор условий
Англо-русский словарь по авиации. 2013.
assertion checker
Смотреть что такое "assertion checker" в других словарях:
Checker Book Publishing Group — Type Private Industry Publishers of Comics Reprints Founded 2000 by Mark Thompson, Ben Rangel Paul Dubuc … Wikipedia
Fact checker — A fact checker is the person who checks factual assertions in non fictional text, usually intended for publication in a periodical, to determine their veracity and correctness. The job requires general knowledge, but more important it requires… … Wikipedia
Java Modeling Language — The Java Modeling Language (JML) follows the design by contract paradigm. It is a specification language for Java programs, using . There are various verification tools for JML, such as a runtime assertion checker and the Extended Static Checker… … Wikipedia
блок контроля утверждений — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN assertion checker … Справочник технического переводчика
верификатор условий — Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях. [Домарев В.В. Безопасность… … Справочник технического переводчика
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Sonny Boy Williamson II — Infobox Musical artist Name = Sonny Boy Williamson II Img capt = Background = solo singer Born = December 5 1899 or March 11 1908 Died = May 25 1965 Origin = Tallahatchie County, Mississippi USA flagicon|US Instrument = Vocals, Harmonica Genre =… … Wikipedia
John McCain presidential campaign, 2008 — John McCain for President 2008 Campaign U.S. presidential election, 2008 Candidate John McCain (President) U.S. Senator 1987–Present … Wikipedia
JML — Java Modeling Language Le Java Modeling Language (JML) est un langage de spécification pour Java, il est basé sur le paradigme de la programmation par contrat. Il utilise la logique de Hoare, les pré et postconditions ainsi que les invariants.… … Wikipédia en Français
Java Modeling Language — Le Java Modeling Language (JML) est un langage de spécification pour Java, il est basé sur le paradigme de la programmation par contrat. Il utilise la logique de Hoare, les pré et postconditions ainsi que les invariants. Les spécifications sont… … Wikipédia en Français
Gunsmith — A gunsmith is a person who repairs, modifies, designs, or builds firearms to factory or customer specifications, using hand tools and machine shop tools (such as lathes, milling machines, and grinders).Gunsmiths may be employed in: *factories by… … Wikipedia
